- логико-математический язык
- adv
IT. langage logique-mathématique
Dictionnaire russe-français universel. 2013.
логико-математический язык
Regardez d'autres dictionnaires:
МЕТАЯЗЫК — логико математический язык, используемый для формулировки метатеории. В более широком смысле, М. неформализованный язык, на к ром формулируются утверждения метаматематики. А. Г. Драгалин … Математическая энциклопедия
Нестандартный анализ — У этого термина существуют и другие значения, см. Анализ. Нестандартный анализ возник как раздел математической логики, посвященный приложению теории нестандартных моделей к исследованиям в традиционных областях математики: математическом… … Википедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
инвариантный семантический анализ — Логико математический прием, в основе которого лежит методика перевода семантики естественного языка на семантический (логико семантический) язык, который рассматривается как формализованная структура и метаязык, в котором семантика единиц… … Словарь лингвистических терминов Т.В. Жеребило
Модели — I Модели в биологии применяются для моделирования (См. Моделирование) биологических структур, функций и процессов на разных уровнях организации живого: молекулярном, субклеточном, клеточном, органно системном, организменном и популяционно … Большая советская энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Философия — Скульптура «Мыслитель» (фр. Le Penseur) Огюста Родена, которая часто используется в качестве символа философии … Википедия
Моррис Чарльз — Чарльз Моррис и основания семиотики Жизнь и сочинения Чарльз Моррис (1901 1979) свою карьеру начал как инженер, затем через биологию и психологию пришел к философии. Докторскую диссертацию он защитил в Чикагском университет в 1925 г. Затем… … Западная философия от истоков до наших дней
ТЕОРИЯ НАУЧНАЯ — наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях изучаемой области действительности. Примерами Т.н. являются классическая механика И. Ньютона, корпускулярная и волновая… … Философская энциклопедия
Джевонс Уильям Стэнли — (Jevons) (1835 1882), английский логик, экономист, статистик. Последователь Дж. Буля. Создал систему логики, основанную на принципе замещения равных. Построил «логические счёты» и логическую машину. Сторонник предельной полезности теории.… … Энциклопедический словарь
философия математики — ФИЛОСОФИЯ МАТЕМАТИКИ отрасль философии науки, исследующая природу математических объектов и способы математических доказательств. Абстрактный характер объектов и особая убедительность доказательств математики еще в античную эпоху… … Энциклопедия эпистемологии и философии науки
